Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
651	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
652	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; 19:2407–2423 Prepared using cpeauth.cls [Version: v2.02] Automated and accurate cache behavior analysis for Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2008-09-19 07:52:25 Software engineering Computer programming Computing Cache Computer memory Compiler optimizations Software optimization Compiler construction Optimizing compiler Infinite loop Trie Cache memory
653	Veterans’ Credentialing Programs Add to Reading List Source URL: www.oppaga.state.fl.us Language: English - Date: 2016-01-20 13:50:55 Computer programming Computing Software engineering Index of Abkhazia-related articles Index of standards articles
654	Calling Variadic Functions from a Strongly Typed Language Matthias Blume Mike Rainey Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-10-05 21:17:42 Software engineering Computing Computer programming Subroutines Variadic function Type theory Variadic Cross-platform software Printf format string Parameter Type system John Reppy
655	Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Abstract data types Computing Software engineering Process calculi Inter-process communication Message queue Monitor Economy Queueing theory Priority queue Queue -calculus
656	PLASTICS INDUSTRY RTD FLANGE INDUSTRIAL SENSORS MGO (MI) THERMOWELLS WIRE & ACCESSORIES Thinwall Protection Tube T/C Base metal industrial thermocouple assemblies are designed Add to Reading List Source URL: www.instrucon.com Language: English - Date: 2013-01-04 17:32:00 Software engineering Electromagnetism Chemistry Electrical wiring Sensors Thermometers Electrical safety Temperature control Thermocouple Alumel Chromel Nema
657	Sports and Olympics - Word Puzzle Use the clues below to help you guess the word J C Add to Reading List Source URL: esl-galaxy.com Language: English - Date: 2007-06-14 04:05:31 Obfuscation Computer programming Index of Abkhazia-related articles Software engineering Toledo Nanochess
658	1 Preparation of Papers for Asian Journal of Engineering, Science and Techonology First A. Author, Second B. Author, Jr., and Third C. Author, Member, IEEE Add to Reading List Source URL: ajest.iqra.edu.pk Language: English - Date: 2011-11-15 05:24:12 Software Computing Computer graphics Graphics file formats Open formats Adobe Systems Microsoft Office Vector graphics markup languages TIFF Institute of Electrical and Electronics Engineers LaTeX IEEE style
659	´ Scalable Task Pools with CAFE: Adjustable Fairness and Contention Dmitry Basin1 , Rui Fan2 , Idit Keidar1 , Ofer Kiselov1 , and Dmitri Perelman1? 1 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2011-07-22 05:28:44 Graph theory Binary trees Computer programming Software engineering Tree traversal Linked list B-tree T-tree Trie Tree Redblack tree
660	Collaborative Use & Design of Interactive Simulations Alexander Repenning, Andri Ioannidou, Jonathan Phillips University of Colorado, Center for LifeLong Learning & Design Abstract: Interactive simulations hold great pot Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-12-08 18:45:58 Computing Software engineering Software Visual programming languages Simulation AgentSheets Cross-platform software Alexander Repenning Computer simulation End-user development Instructional simulation Social simulation

UPDATE